From: kfraser@localhost.localdomain Date: Thu, 6 Sep 2007 10:23:43 +0000 (+0100) Subject: Delete flask tools build target and add to .hgignore. X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~14987^2~15 X-Git-Url: https://dgit.raspbian.org/%22http:/www.example.com/cgi/%22https:/%22bookmarks://%22Dat/%22http:/www.example.com/cgi/%22https:/%22bookmarks:/%22Dat?a=commitdiff_plain;h=0671a3ce432c44a7f52cb3cfdef71f146970c3d0;p=xen.git Delete flask tools build target and add to .hgignore. Signed-off-by: Keir Fraser --- diff --git a/.hgignore b/.hgignore index 2f1962d1a0..434d5d187f 100644 --- a/.hgignore +++ b/.hgignore @@ -114,6 +114,7 @@ ^tools/firmware/vmxassist/gen$ ^tools/firmware/vmxassist/offsets\.h$ ^tools/firmware/vmxassist/vmxassist$ +^tools/flask/loadpolicy/flask-loadpolicy$ ^tools/ioemu/\.pc/.*$ ^tools/ioemu/config-host\.h$ ^tools/ioemu/config-host\.mak$ diff --git a/tools/flask/loadpolicy/flask-loadpolicy b/tools/flask/loadpolicy/flask-loadpolicy deleted file mode 100755 index 61a0c80b33..0000000000 Binary files a/tools/flask/loadpolicy/flask-loadpolicy and /dev/null differ